More from this Author

Theorem Proving in Higher Order Logics

by International Conference on Theorem Proving in Hig, J. Wright, J. Grundy, J. Harrison